École Polytechnique Fédérale de Lausanne - PDFSEARCH.IO - Document Search Engine

École Polytechnique Fédérale de Lausanne
Results: 537

#	Item
151	www.thebrainforum.org Press release – February 26, 2015 Lausanne to reunite the world’s major “Brain Initiatives” The Brain Forum 2015 wi Add to Reading List Source URL: thebrainforum.org Language: English - Date: 2015-03-23 05:05:09 Biology Lausanne École Polytechnique Fédérale de Lausanne Brain Neuroinformatics Neuroscience Anatomy Science
152	www.thebrainforum.org Add to Reading List Source URL: thebrainforum.org Language: English - Date: 2015-03-30 09:44:34 Science Time Knowledge Neurotechnology École Polytechnique Fédérale de Lausanne Brain Immersion Emerging technologies Neuroscience Virtual reality
153	RANKING UNIVERSIDADES - INGENIERÍA Y TECNOLOGÍA La información corresponde a los rankings ARWU y Times (THEy será utilizada para las convocatoriasUNIVERSIDAD MASSACHUSETTS INSTITUTE OF TECHNOLOGY Add to Reading List Source URL: www.conicyt.cl Language: English - Date: 2015-02-26 09:13:24 Lausanne École Polytechnique Fédérale de Lausanne Institute of technology National Academy of Sciences Education Academia Knowledge
154	A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-12 19:07:51 Mathematics Automated theorem proving Logic programming Unification Curry–Howard correspondence First-order logic Interpretation Heat equation SKI combinator calculus Mathematical logic Logic Model theory
155	A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-12 19:07:51 Automated theorem proving Logic programming Unification Recursive data type Symbol Fold Software engineering Computing Theoretical computer science
156	Dimitrios Chatzopoulos PhD student, Computer Science & Engineering Department, Hong Kong University of Science & Technology Education–now PhD, Department of Computer Science & Engineering,Hong Kong University of Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2015-03-26 15:47:28 Tai Po Tsai École Polytechnique Fédérale de Lausanne University of Thessaly Tongji University Hong Kong Hong Kong University of Science and Technology Sai Kung District
157	PDF Document Add to Reading List Source URL: www.vldb.org Language: English - Date: 2010-11-18 12:36:40 Academia Gerhard Weikum Microsoft Research IBM Research École Polytechnique Fédérale de Lausanne Technology Computer science H. V. Jagadish VLDB
158	CURRICULUM VITÆ Personal Information ´ ro ˆ me Last Name: FERET First Name: Je Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-08 09:17:09 École Normale Supérieure Education Academia École Polytechnique Fédérale de Lausanne École Polytechnique Doctorate Grandes écoles Écoles Normales Supérieures 5th arrondissement of Paris
159	WISE 2010 Final Program Monday Dec 13 8:00-8:30 Registration: Rose & Peony Room Add to Reading List Source URL: conference.cs.cityu.edu.hk Language: English - Date: 2010-12-12 20:47:51 Project 211 Project 985 École Polytechnique Fédérale de Lausanne Institute of technology Knowledge Wuhan Hong Kong Baptist University Education Academia Fudan University
160	Genetic and Evolutionary Computation Conference 2008 Conference Program Table of Contents GECCO is evolving! ........................................................................... 1 Program Outline.................. Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 14:42:57 Association for Computing Machinery Enrique Alba Evolutionary computation École Polytechnique Fédérale de Lausanne National Institute for Research in Computer Science and Control Institute of technology American University of Science and Technology National university University of Freiburg Education Academia Knowledge

UPDATE